منابع مشابه
Walther Recursion
Primitive recursion is a well known syntactic restriction on recursive deenitions which guarantees termination. Unfortunately many natural deenitions, such as the most common deenition of Euclid's GCD algorithm, are not primitive recursive. Walther has recently given a proof system for verifying termination of a broader class of deenitions. Although Walther's system is highly automatible, the c...
متن کاملHerbert Thoms
The eventful chapters of contemporaneous medical history in Connecticut have not yet received the historian's scrutiny and are still only records scattered here and there in organization archives and miscellaneous correspondence. Many of us have been a part of these events and as participants are poorly qualified to place values on them. As in all history, one must await the developing vista of...
متن کاملHerbert Herbert: his corneal pits and scleral slits.
PURPOSE To evaluate the life and professional work of the English ophthalmologist Herbert Herbert (1865-1942). DESIGN Historical study. METHODS The main sources for this investigation are Herbert's approximately 65 published papers and 3 monographs. Other sources are contemporary publications by other ophthalmologists and secondary historical reviews of this period. Written communications w...
متن کاملThe Static Universe of Walther Nernst
Walther Nernst (1864-1941) was, without a doubt, one of the most remarkable physicists of the early 20th century. His main accomplishments were in the field of physical chemistry, a discipline he founded together with other well-known scientists, including J.H. van’t Hoff, W. Ostwald and S. Arrhenius. His most famous contribution to physics was the so-called third law of thermodynamics, for whi...
متن کاملTobias Walther: Floating ideas on lipids
T he fl uid mosaic model of membrane biology depicts proteins and lipids freely roaming in the lateral plane of the cell's plasma membrane. But in reality, the plasma membrane is highly compartmentalized. One such compartment is delineated by a protein scaffold beneath the membrane called the eisosome (from the Greek word eis, meaning " portal, " and soma, meaning " body "). Tobias Walther, tog...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physics Today
سال: 2007
ISSN: 0031-9228,1945-0699
DOI: 10.1063/1.2754618